1. Advanced BDD optimization
پدیدآورنده : / by Rudiger Ebendt, Gorschwin Fey and Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Decision making- Mathematical models,Decision trees,Logic design- Mathematics,Algebra, Boolean
رده :
T57
.
95
.
E24
2005
2. Advanced Boolean techniques :
پدیدآورنده : editors, Rolf Drechsler and Mathias Soeken.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Boolean, Congresses.,Algebra, Boolean.
رده :
QA10
.
3
.
I58
2018eb
3. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic circuits- Testing,Decision trees
رده :
E-BOOK
4. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic circuits- Testing,Decision trees
رده :
TK7867
.
A38
2004
5. Advanced formal verification
پدیدآورنده : / edited by Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic circuits- Testing,Decision trees
رده :
TK7867
.
A38
2004
6. Applications of Evolutionary Computing :
پدیدآورنده : edited by G nther R. Raidl, Stefano Cagnoni, J rgen Branke, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Evolutionary computation -- Congresses.,Evolutionary computation.,Evolutionary programming (Computer science) -- Congresses.
7. Debugging at the Electronic System Level
پدیدآورنده : / Frank Rogin, Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY|ARCHITECTURE (uncategorised)&ENGINEERING, CIVIL|ENGINEERING, ELECTRICAL
رده :
E-BOOK
8. Driven SystemC Design-Quality
پدیدآورنده : / e, Rolf Drechsler (auth.)Daniel Gro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY& ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
9. Evolutionary Algorithms for Embedded System Design
پدیدآورنده : edited by Rolf Drechsler, Nicole Drechsler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Embedded computer systems -- Programming.,Evolutionary programming (Computer science),Genetic algorithms.
10. Evolutionary algorithms for VLSI CAD
پدیدآورنده : Drechsler, Rolf
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Data processing , Computer-aided design , Algorithms , Evolutionary programming )Computer science( , Genetic programming )Computer science(
رده :
TK
7874
.
75
.
D74
1998
11. Formal Specification Level
پدیدآورنده : / Mathias Soeken, Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
12. Formal system verification : state-of-the-art and future trends
پدیدآورنده : Rolf Drechsler, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
13. High quality test pattern generation and boolean satisfiability
پدیدآورنده : / Stephan EggersgleuC, Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits--Testing,Algebra, Boolean
رده :
TK7874
.
E34
2012
14. In-memory computing :
پدیدآورنده : Saeideh Shirinzadeh and Rolf Drechsler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer storage devices.,Nonvolatile random-access memory.,Computer storage devices.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Nonvolatile random-access memory.
رده :
TK7895
.
M4
15. Quality-driven SystemC design
پدیدآورنده : Daniel Grosse, Rolf Drechsler
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : System design,C (Computer program language)
رده :
QA
،
76
.
9
،.
S88
,
G76
،
2010
16. Quality - driven SystemC design
پدیدآورنده : / Daniel Grosse, Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : System design,C (Computer program language)
رده :
004
.
21
G878q
17. Spectral Techniques in VLSI CAD
پدیدآورنده : by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Electronic data processing.
رده :
TK7874
.
75
B965
2001
18. Towards a Design Flow for Reversible Logic
پدیدآورنده : / Robert Wille, Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
19. Towards a design flow for reversible logic
پدیدآورنده : Wille, Robert., Robert Wille, Rolf Drechsler
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer logic,، Computer architecture,، Logic programming
رده :
QA
76
.
9
.
L63
W55
2010
